1
Fondements logiques : Faits sur la comparaison des nombres réels et déduction des propriétés des inégalités
MATH1001CA-PEP-CNLesson 2
00:00
ab > 0 ⇔ a > bba
La comparaison des grandeurs des nombres réels constitue le fondement de toute la logique mathématique. Sur une droite numérique, chaque nombre réel correspond à un point unique. En observant la position d’un point, nous pouvons intuitivement percevoir « l’inégalité ».

Faits fondamentaux :
  • Si $a - b$ est un nombre positif, alors $a > b$ ;
  • Si $a - b$ est égal à 0, alors $a = b$ ;
  • Si $a - b$ est un nombre négatif, alors $a < b$.
Le 0 est le point de séparation entre les nombres positifs et négatifs. Il sert de repère pour comparer les grandeurs des nombres réels. En utilisant la méthode de différence, nous pouvons transformer la comparaison des grandeurs d’expressions algébriques complexes en une évaluation du signe de leur différence. C’est la méthode fondamentale pour prouver les inégalités.
Propriétés fondamentales des inégalités :
1. Transitivité : $a > b, b > c \Rightarrow a > c$
2. Addition : $a > b \iff a + c > b + c$
3. Multiplication : $c > 0 \Rightarrow ac > bc$ ; $c < 0 \Rightarrow ac < bc$
$$a > b \iff a - b > 0$$